A fixpoint calculus for local and global program flows
نویسندگان
چکیده
منابع مشابه
Global/Local Subtyping for a Distributed -calculus
Abstract In the design of mobile agent programming languages there is a tension between the implementation cost and the expressiveness of the communication mechanisms provided. This paper gives a static type system for a distributed -calculus in which the input and output capabilities of channels may be either global or local. This allows compile-time optimization where possible but retains the...
متن کاملGlobal/local Subtyping and Capability Inference for a Distributed -calculus
This paper considers how locality restrictions on the use of capabilities can be enforced by a static type system. A distributed-calculus with a simple reduction semantics is introduced, integrating location and migration primitives from the Distributed Join Calculus with asynchronous communication. It is given a type system in which the input and output capabilities of channels may be either g...
متن کاملA Temporal Fixpoint Calculus Extended Abstract
Two distinct extensions of temporal logic has been recently advocated in the literature. The rst extension is the addition of xpoint operators that enable the logic to make assertions about arbitrary regular events. The second extension is the addition of past temporal connectives that enables the logic to refer directly to the history of the computation. Both extensions are motivated by the de...
متن کاملA Fixpoint-Based Calculus for Graph-Shaped Computational Fields
Coordination is essential for dynamic distributed systems exhibiting autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to join and leave with little or no overhead. In our approach, the space topology is represented by a graph-shaped field, namely a network with attributes on both nodes and arcs,...
متن کاملFasting and diabetes from a local and global perspective- commentary
Fasting is a common practice among people with diabetes (PWD). As healthcare providers we are in a position to assist those who choose to fast to manage their diabetes effectively. Diabetes self-management education for PWD is needed both prior and during the time of fasting to best metabolic control.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2006
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1111320.1111051